proof ninja, inc.
https://gyazo.com/5dc4ad7f8cdb7425e75bb238ce547850
https://proof-ninja.co.jp/
https://twitter.com/proof_ninja
Coq, OCaml, Scala
#企業